Bundle Event Structures and CCSP
نویسندگان
چکیده
We investigate which event structures can be denoted by means of closed CCS CSP expressions. Working up to isomorphism we find that all denotable event structures are bundle event structures, upon adding an infinitary parallel composition all bundle event structures are denotable, without it every finite bundle event structure can be denoted, as well as every countable prime event structure with binary conflict. Up to hereditary history preserving bisimulation equivalence finitary conflict can be expressed in terms of binary conflict. In this setting all countable stable event structures are denotable.
منابع مشابه
Para-Kahler tangent bundles of constant para-holomorphic sectional curvature
We characterize the natural diagonal almost product (locally product) structures on the tangent bundle of a Riemannian manifold. We obtain the conditions under which the tangent bundle endowed with the determined structure and with a metric of natural diagonal lift type is a Riemannian almost product (locally product) manifold, or an (almost) para-Hermitian manifold. We find the natural diagona...
متن کاملClub cell secretory protein improves survival in a murine obliterative bronchiolitis model.
Club cell secretory protein (CCSP) is an indirect phospholipase A2 inhibitor with some immunosuppressive and antiproliferative properties that is expressed in bronchiolar Club cells. In our murine bone marrow transplant (BMT) model of obliterative bronchiolitis (OB), CCSP is diminished; however, its role is unknown. To determine the role of CCSP, B6 wild-type (WT) or CCSP-deficient (CCSP(-/-)) ...
متن کاملChronic Pseudomonas aeruginosa infection-induced chronic bronchitis and emphysematous changes in CCSP-deficient mice
The club cell secretory protein (CCSP) is a regulator of lung inflammation following acute respiratory infection or lung injury. Recently, the relationship between CCSP and COPD has been reported. Since COPD results from an abnormal inflammatory response, we hypothesized that CCSP could have a protective role against chronic inflammation-induced lung damage. To address this issue, the pathophys...
متن کاملClara cell secretory protein decreases lung inflammation after acute virus infection.
Clara cell secretory protein (CCSP) is an abundant 10-kDa polypeptide synthesized and secreted primarily by nonciliated bronchiolar epithelial cells in the mammalian lung. To determine the potential role of CCSP in pulmonary inflammation after acute viral infection, CCSP gene-targeted {CCSP-deficient [CCSP(-/-)]} mice were exposed to a recombinant E1- and E3-deficient adenoviral vector, Av1Luc1...
متن کاملRegulation and function of CCSP during pulmonary Pseudomonas aeruginosa infection in vivo.
Clara cell secretory protein (CCSP) is a 16-kDa homodimeric polypeptide secreted by respiratory epithelial cells in the conducting airways of the lung. To assess the role of CCSP in bacterial inflammation and to discern whether CCSP expression is influenced by bacterial infection, CCSP-deficient [(-/-)] gene-targeted mice and wild-type mice were given Pseudomonas aeruginosa intratracheally. Inf...
متن کامل